# (decoded with TMPL 300)
*****: (EOF-terminated list)
  0: INTEGER: 0
  1: INTEGER: 4096
  2: INTEGER: 12288